Cardinal sequences of LCS spaces under GCH
نویسندگان
چکیده
Let C(α) denote the class of all cardinal sequences of length α associated with compact scattered spaces. Also put Cλ(α) = {f ∈ C(α) : f(0) = λ = min[f(β) : β < α]}. If λ is a cardinal and α < λ++ is an ordinal, we define Dλ(α) as follows: if λ = ω, Dω(α) = {f ∈ {ω, ω1} : f(0) = ω}, and if λ is uncountable, Dλ(α) = {f ∈ {λ, λ} : f(0) = λ, f−1{λ} is < λ-closed and successor-closed in α}. We show that for each uncountable regular cardinal λ and ordinal α < λ++ it is consistent with GCH that Cλ(α) is as large as possible, i.e. Cλ(α) = Dλ(α). This yields that under GCH for any sequence f of regular cardinals of length α the following statements are equivalent: (1) f ∈ C(α) in some cardinal preserving and GCH-preserving generic-extension of the ground model. (2) for some natural number n there are infinite regular cardinals λ0 > λ1 > · · · > λn−1 and ordinals α0, . . . , αn−1 such that α = α0 + · · · + αn−1 and f = f0 _ f1 _· · · fn−1 where each fi ∈ Dλi(αi). Preprint submitted to Elsevier 8 February 2010 The proofs are based on constructions of universal locally compact scattered spaces.
منابع مشابه
Topology Proceedings UNIVERSAL LOCALLY COMPACT SCATTERED SPACES
If δ is an ordinal, we denote by C(δ) the class of all cardinal sequences of length δ of locally compact scattered (in short: LCS) spaces. If λ is an infinite cardinal, we write Cλ(δ) = {s ∈ C(δ) : s(0) = λ = min[s(ζ) : ζ < δ]}. An LCS space X is called Cλ(δ)-universal if SEQ(X) ∈ Cλ(δ), and for each sequence s ∈ Cλ(δ) there is an open subspace Y of X with SEQ(Y ) = s. We show that • there is a...
متن کاملSupercompactness and Failures of GCH
Let κ < λ be regular cardinals. We say that an embedding j : V → M with critical point κ is λ-tall if λ < j(κ) and M is closed under κ-sequences in V . Silver showed that GCH can fail at a measurable cardinal κ, starting with κ being κ++-supercompact. Later, Woodin improved this result, starting from the optimal hypothesis of a κ++-tall measurable cardinal κ. Now more generally, suppose that κ ...
متن کاملA pr 1 99 2 ON THE SINGULAR CARDINAL HYPOTHESIS
The Singular Cardinal Hypothesis (SCH) asserts that if κ is any singular strong limit cardinal then 2 = κ. It is known to be consistent that the SCH fails: Prikry [Pr] obtains a model of ¬SCH from a model in which the GCH fails at a measurable cardinal κ, and Silver in turn (see [KM]) obtains the failure of the GCH at a measurable cardinal from a model for a κ-supercompact cardinal. Silver’s re...
متن کاملEaston Functions and Supercompactness
Suppose κ is λ-supercompact witnessed by an elementary embedding j : V →M with critical point κ, and further suppose that F is a function from the class of regular cardinals to the class of cardinals satisfying the requirements of Easton’s theorem: (1) ∀α α < cf(F (α)) and (2) α < β =⇒ F (α) ≤ F (β). In this article we address the question: assuming GCH, what additional assumptions are necessar...
متن کاملLarge Cardinals and Lightface Definable Well-Orders, without the GCH
This paper deals with the question whether the assumption that for every inaccessible cardinal κ there is a well-order of H(κ+) definable over the structure 〈H(κ+),∈〉 by a formula without parameters is consistent with the existence of (large) large cardinals and failures of the GCH. We work under the assumption that the SCH holds at every singular fixed point of the i-function and construct a c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 161 شماره
صفحات -
تاریخ انتشار 2010